Temporal Logic
نویسنده
چکیده
منابع مشابه
Drought monitoring in Ardabil province by means of SEPI fuzzy index developed based on the fuzzy logic
Drought defined as a climatic phenomenon with the humidity and rainfall shortage as compared with normal conditions. This phenomenon affects on all of aspects of human activities, severely. while, studies associated with this phenomenon on the basis of appropriate methods are very low. In the present study, effort has been made to analyze the drought state in Ardabil province by means of...
متن کاملNumerical Analysis of Stability for Temporal Bright Solitons in a PT-Symmetric NLDC
PT-Symmetry is one of the interesting topics in quantum mechanics and optics. One of the demonstration of PT-Symmetric effects in optics is appeared in the nonlinear directional coupler (NLDC). In the paper we numerically investigate the stability of temporal bright solitons propagate in a PT-Symmetric NLDC by considering gain in bar and loss in cross. By using the analytical solutions of pertu...
متن کاملEffect of Relative Phase on the Stability of Temporal Bright Solitons in a PT- Symmetric NLDC
In this paper we numerically investigate the effect of relative phase on thestability of temporal bright solitons in a Nano PT- Symmetric nonlinear directionalcoupler (NLDC) by considering gain in bar and loss in cross. We also study the effect ofrelative phase on the output perturbed bright solitons energies, in the range of 0 to 180 . By using perturbation theory three eigenfunctions an...
متن کاملEfficient Delay Characterization Method to Obtain the Output Waveform of Logic Gates Considering Glitches
Accurate delay calculation of circuit gates is very important in timing analysis of digital circuits. Waveform shapes on the input ports of logic gates should be considered, in the characterization phase of delay calculation, to obtain accurate gate delay values. Glitches and their temporal effect on circuit gate delays should be taken into account for this purpose. However, the explosive numbe...
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملThe Expressive Power of Temporal Logic of Actions (Extended Abstract)
It is shown that a stutter-invariant property is expressible in Temporal Logic of Actions if and only if it is expressible in Second-order Temporal Logic. In particular, validity questions can be translated from one logic to the other. The proof is based on equivalence transformations between the formulas of Temporal Logic of Actions and Second-order Temporal Logic. The translation from Second-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998